Project-Team Dahu
Members
Overall Objectives
Research Program
Research Program
Application Domains
Application Domains
Highlights of the Year
New Results
Specification and verification of data-driven systems
Personal information management.
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Partnerships and Cooperations
National Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
Inria
|
Raweb 2016
|
Presentation of the Project-Team DAHU
|
DAHU Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Victor Vianu, June 15 to September 15, UC San diego
Previous |
Home
| Next